Download Logic-Based Program Synthesis and Transformation - 35th International Symposium, LOPSTR 2025 Torrent